\begin{tabbing} (\=(OrRight) \+ \\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$ \- \end{tabbing}